((v10 v3 4) (v9 v10 8) (v8 v10 8) (v4 v9 4) (v6 v3 8) (v8 v1 9) (v2 v4 7) (v1 v5 3) (v5 v2 8) (v6 v7 4) (v2 v1 7) (v5 v8 3) (v1 v4 6) (v7 v3 7) (v7 v8 8) (v3 v8 7) (v6 v10 8) (v5 v4 1) (v6 v2 9) (v10 v1 0) (v10 v2 8) (v3 v4 9) (v8 v2 6) (v6 v5 5) (v4 v7 4))
149
((v6 v2) (v7 v8) (v4 v1) (v4 v5) (v1 v7))